The Difference between Splitting in n and n+1
نویسندگان
چکیده
It is established that durational and structural aspects of actions can in general not be modeled in standard interleaving semantics, even when a time-consuming action is represented by a pair of instantaneous actions denoting its start and finish. By means of a series of counterexamples it is shown that, for any n, it makes a difference whether actions are split in n or in n+1 parts. ] 1997 Academic Press
منابع مشابه
Singlet-Triplet Energy Splitting of Divalent Five-Membered Ring NI2C2H2C (M = N,P, As and Sb)
In recent work, thermal energy gaps. AE, it °PUPS gas, Ana; Gibbs free energy gaps, AG.,, between singlet(s) and triplet 0) states of 5.12C3H2C, I m (4 N. P. As and Sb) were calculated and compared with thoseanalogues. MC2113C, (M= CIL N. P. As and Sb) at B3LYIE6-311-NG" level of theory. Our itself showedthat Gibbs free energy gaps. AG, for l uu and 1 p are less than IS and I's, respectively. I...
متن کاملElectrodeposited Co-Pi Catalyst on α-Fe2O3 Photoanode for Water-Splitting Applications
Optoelectronic properties of hematite (α-Fe2O3) as a photoanode and the required over-potential in photo-assisted water splitting has been improved by presence of Co-Pi on its surface. In order to increase the lifetime of the photogenerated holes and lower the applied bias, cobalt-phosphate (Co-Pi) on nanostructured α-Fe2O3 by electrodeposition was de...
متن کاملThe numerical simulation of compressible flow in a Shubin nozzle using schemes of Bean-Warming and flux vector splitting
Over the last ten years, robustness of schemes has raised an increasing interest among the CFD community. The objective of this article is to solve the quasi-one-dimensional compressible flow inside a “Shubin nozzle” and to investigate Bean-Warming and flux vector splitting methods for numerical solution of compressible flows. Two different conditions have been considered: first, there is a sup...
متن کاملInvestigating Different Methods of Closed Shell Pistachios Splitting and Effects of Freezing Prior to Drying on Shell Splitting Percentage
In this study, different methods for shell splitting and the effect of freezing prior to drying on shell splitting percentage of pistachio were investigated. A completely randomized design was used to investigate the effects of different freezing temperatures (0, -6, -12 and -18°C), different drying temperatures (80, 90 and 100°C) and different cultivars (Akbari and Kalehghouchi) on shell split...
متن کاملAll-Optical Reconfigurable-Tunable 1×N Power Splitter Using Soliton Breakup
In this paper, we numerically simulated a glass-based all-optical 1×N power splitter with eleven different configurations using soliton breakup in a nonlinear medium. It is shown that in addition to reconfigurability of the proposed splitter, its power splitting ratio is tunable up to some extent values too. Nonlinear semivectorial iterative finite difference beam propagation method (IFD-...
متن کاملبررسی اندازه های آنتروپومتریک صورتی و جمجمه ای در بالغین جوان شهر اصفهان
Statement of Problem: Anthropometry is applied in medical professions such as maxillofacial surgery,growth and development studies, plastic surgery, bioengineering and non- medical branches such as like shoe- making and eye- glasses industries.Aim: The aim of the present study was to determine facial and cranial ratios among Isfahan young adults.Materials and Methods: A study was done randomly ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Comput.
دوره 136 شماره
صفحات -
تاریخ انتشار 1997